Section: New Software and Platforms

PoCo

Participant : Christophe Alias.

PoCo is a polyhedral compilation framework providing many features to prototype program analysis and optimizations in the polyhedral model:

• C parsing and extraction of the polyhedral representation.

• Symbolic layer on the state-of-art polyhedral libraries Polylib (set operations on polyhedra) and Piplib (parameterized ILP, see Section  5.2 ).

• Dependence analysis (PRDG, array dataflow analysis), array region analysis, array liveness analysis.

• C and VHDL code generation.

PoCo is registered at the APP (“agence de protection des programmes”) and has been transferred to the XtremLogic start-up under an Inria licence. The Bee, Chuba, and RanK tools presented thereafter make an extensive use of PoCo abstractions. PoCo has been developed by Christophe Alias. It represents more than 19000 lines of C++ code.